23.1 Darboux_s theorem